"Marco Bernardo" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro Programming and Software Engineering

Marco Bernardo, Luca Padovani, Gianluigi Zavattaro

Категория: Компьютеры

5.97 Mb

#2

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ... Programming and Software Engineering)

Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky

Категория: Компьютеры

1.53 Mb

#3

Formal Methods for Eternal Networked Software Systems - SFM 2011

Marco Bernardo, Valerie Issarny

11.63 Mb

#4

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings ... Programming and Software Engineering)

Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa

4.60 Mb

#5

Formal methods for eternal networked software systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced lectures

Marco Bernardo; Valérie Issarny

Категория: Cs_Computer science, CsLn_Lecture notes

9.44 Mb

#6

Formal methods for web services advanced lectures, 9, 2009, Bertinoro

Marco Bernardo, Luca Padovani, Gianluigi Zavattaro

8.71 Mb

#7

Formal Methods for the Design of Real-Time Systems, SFM-RT 2004

Marco Bernardo, Flavio Corradini

Категория: Cs_Computer science, CsLn_Lecture notes

2.31 Mb

#8

Formal Methods for Mobile Computing, 5 conf., SFM-Moby 2005

Marco Bernardo, Alessandro Bogliolo

Категория: CsLn_

2.88 Mb

#9

Formal Methods for Performance Evaluation, 7 school, SFM 2007

Marco Bernardo, Jane Hillston

Категория: CsLn_

4.81 Mb

#10

Formal Methods for Software Architectures, 3 school, SFM 2003

Marco Bernardo, Paola Inverardi

Категория: CsLn_

3.72 Mb

#11

A Process Algebraic Approach to Software Architecture Design

Alessandro Aldini, Marco Bernardo, Flavio Corradini

2.60 Mb

#12

A Process Algebraic Approach to Software Architecture Design

Alessandro Aldini, Marco Bernardo, Flavio Corradini

2.49 Mb

#13

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,

Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro

11.98 Mb

#14

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,

Marco Bernardo, Alessandro Cimatti

2.88 Mb